[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 104 101 0 110 0 102 121

N.S.

1 1.04 1.13 1.10 0.00 1.20 0.00 1.11 1.32

time (sec)

N/A 0.681 2.538 1.082 0.000 0.290 0.000 0.290 12.078

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 94 91 0 96 0 102 110

N.S.

1 1.04 1.02 0.99 0.00 1.04 0.00 1.11 1.20

time (sec)

N/A 0.689 2.200 0.191 0.000 0.310 0.000 0.317 11.193

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 83 73 0 75 0 98 97

N.S.

1 1.04 0.90 0.79 0.00 0.82 0.00 1.07 1.05

time (sec)

N/A 0.677 1.732 0.185 0.000 0.333 0.000 0.311 1.874

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 59 47 0 54 0 96 64

N.S.

1 1.04 0.64 0.51 0.00 0.59 0.00 1.04 0.70

time (sec)

N/A 0.661 0.862 0.159 0.000 0.288 0.000 0.318 1.003

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 62 94 387 59 0 53 73

N.S.

1 1.00 1.38 2.09 8.60 1.31 0.00 1.18 1.62

time (sec)

N/A 0.513 1.493 0.159 0.349 0.316 0.000 0.316 9.112

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 104 115 205 0 0 0 99 0

N.S.

1 1.05 1.16 2.07 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.794 2.620 0.195 0.000 0.000 0.000 0.323 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 105 104 127 0 0 0 90 0

N.S.

1 1.08 1.07 1.31 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.782 2.827 0.247 0.000 0.000 0.000 0.325 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 90 50 0 79 0 91 0

N.S.

1 1.00 1.88 1.04 0.00 1.65 0.00 1.90 0.00

time (sec)

N/A 0.518 3.278 0.265 0.000 0.295 0.000 0.315 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 166 108 0 116 0 150 319

N.S.

1 1.04 1.19 0.77 0.00 0.83 0.00 1.07 2.28

time (sec)

N/A 0.892 7.836 0.217 0.000 0.315 0.000 0.313 13.091

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 156 92 0 102 0 150 122

N.S.

1 1.04 1.11 0.66 0.00 0.73 0.00 1.07 0.87

time (sec)

N/A 0.878 7.574 0.180 0.000 0.323 0.000 0.312 12.085

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 81 61 0 73 0 144 79

N.S.

1 1.04 0.58 0.44 0.00 0.52 0.00 1.03 0.56

time (sec)

N/A 0.874 1.540 0.149 0.000 0.325 0.000 0.306 1.585

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 83 73 0 75 0 141 97

N.S.

1 1.04 0.90 0.79 0.00 0.82 0.00 1.53 1.05

time (sec)

N/A 0.670 1.450 0.173 0.000 0.286 0.000 0.312 10.397

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 111 121 0 77 0 53 87

N.S.

1 1.00 2.47 2.69 0.00 1.71 0.00 1.18 1.93

time (sec)

N/A 0.514 7.003 0.168 0.000 0.298 0.000 0.302 10.315

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 151 130 242 844 0 0 132 0

N.S.

1 1.03 0.88 1.65 5.74 0.00 0.00 0.90 0.00

time (sec)

N/A 0.999 7.659 0.215 0.336 0.000 0.000 0.329 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 151 169 141 0 0 0 136 0

N.S.

1 1.05 1.17 0.98 0.00 0.00 0.00 0.94 0.00

time (sec)

N/A 0.987 7.685 0.256 0.000 0.000 0.000 0.315 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 155 191 193 0 0 0 128 0

N.S.

1 1.05 1.30 1.31 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 1.027 3.348 0.263 0.000 0.000 0.000 0.308 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 110 71 0 105 0 125 0

N.S.

1 1.00 2.29 1.48 0.00 2.19 0.00 2.60 0.00

time (sec)

N/A 0.548 3.650 0.277 0.000 0.277 0.000 0.315 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 95 118 119 0 127 0 126 236

N.S.

1 0.98 1.22 1.23 0.00 1.31 0.00 1.30 2.43

time (sec)

N/A 0.723 4.603 0.305 0.000 0.293 0.000 0.317 14.611

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 194 176 110 0 128 0 204 376

N.S.

1 1.03 0.94 0.59 0.00 0.68 0.00 1.09 2.00

time (sec)

N/A 1.129 9.279 214.705 0.000 0.285 0.000 0.335 13.286

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 194 80 75 0 101 0 204 179

N.S.

1 1.03 0.43 0.40 0.00 0.54 0.00 1.09 0.95

time (sec)

N/A 1.052 1.956 217.921 0.000 0.268 0.000 0.356 12.443

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 152 92 0 102 0 196 122

N.S.

1 1.04 1.09 0.66 0.00 0.73 0.00 1.40 0.87

time (sec)

N/A 0.867 7.712 0.169 0.000 0.271 0.000 0.331 12.399

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 92 91 0 96 0 102 108

N.S.

1 1.04 1.00 0.99 0.00 1.04 0.00 1.11 1.17

time (sec)

N/A 0.667 1.935 0.171 0.000 0.272 0.000 0.314 2.636

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 119 151 0 98 0 53 102

N.S.

1 1.00 2.64 3.36 0.00 2.18 0.00 1.18 2.27

time (sec)

N/A 0.516 7.405 0.171 0.000 0.274 0.000 0.321 2.087

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 198 140 270 0 0 0 141 0

N.S.

1 1.03 0.73 1.40 0.00 0.00 0.00 0.73 0.00

time (sec)

N/A 1.242 8.802 0.206 0.000 0.000 0.000 0.342 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 198 181 158 1120 0 0 170 0

N.S.

1 1.03 0.94 0.82 5.83 0.00 0.00 0.89 0.00

time (sec)

N/A 1.202 8.562 0.269 0.351 0.000 0.000 0.338 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 203 209 218 0 0 0 153 0

N.S.

1 1.04 1.07 1.12 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 1.223 9.154 0.285 0.000 0.000 0.000 0.340 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 205 234 291 0 0 0 169 0

N.S.

1 1.06 1.21 1.51 0.00 0.00 0.00 0.88 0.00

time (sec)

N/A 1.218 5.855 0.293 0.000 0.000 0.000 0.336 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 117 90 0 127 0 167 0

N.S.

1 1.00 2.44 1.88 0.00 2.65 0.00 3.48 0.00

time (sec)

N/A 0.531 6.240 0.267 0.000 0.292 0.000 0.325 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 95 130 147 0 163 0 167 317

N.S.

1 0.98 1.34 1.52 0.00 1.68 0.00 1.72 3.27

time (sec)

N/A 0.701 8.890 0.335 0.000 0.318 0.000 0.334 15.738

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 243 209 126 0 144 0 252 462

N.S.

1 1.03 0.89 0.53 0.00 0.61 0.00 1.07 1.96

time (sec)

N/A 1.370 13.969 222.408 0.000 0.327 0.000 0.332 14.218

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 243 90 85 0 117 0 252 247

N.S.

1 1.03 0.38 0.36 0.00 0.50 0.00 1.07 1.05

time (sec)

N/A 1.318 3.080 232.253 0.000 0.300 0.000 0.339 13.262

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 194 127 110 0 128 0 252 376

N.S.

1 1.03 0.68 0.59 0.00 0.68 0.00 1.34 2.00

time (sec)

N/A 1.066 8.659 268.338 0.000 0.325 0.000 0.342 12.960

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 115 108 0 115 0 150 319

N.S.

1 1.04 0.82 0.77 0.00 0.82 0.00 1.07 2.28

time (sec)

N/A 0.881 7.887 0.212 0.000 0.325 0.000 0.316 12.819

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 104 101 0 110 0 102 121

N.S.

1 1.04 1.13 1.10 0.00 1.20 0.00 1.11 1.32

time (sec)

N/A 0.669 2.166 0.187 0.000 0.312 0.000 0.305 11.941

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 142 173 0 111 0 53 113

N.S.

1 1.00 3.16 3.84 0.00 2.47 0.00 1.18 2.51

time (sec)

N/A 0.517 7.692 0.184 0.000 0.320 0.000 0.297 11.180

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 245 156 299 0 0 0 197 0

N.S.

1 1.02 0.65 1.24 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 1.449 11.268 0.238 0.000 0.000 0.000 0.332 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 245 196 169 0 0 0 178 0

N.S.

1 1.03 0.82 0.71 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 1.434 10.239 0.286 0.000 0.000 0.000 0.334 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 248 223 229 1396 0 0 188 0

N.S.

1 1.04 0.93 0.96 5.84 0.00 0.00 0.79 0.00

time (sec)

N/A 1.455 11.635 0.343 0.357 0.000 0.000 0.331 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 255 260 301 0 0 0 170 0

N.S.

1 1.06 1.08 1.25 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 1.474 13.803 0.335 0.000 0.000 0.000 0.328 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 255 437 368 0 0 0 204 0

N.S.

1 1.05 1.80 1.51 0.00 0.00 0.00 0.84 0.00

time (sec)

N/A 1.498 10.653 0.351 0.000 0.000 0.000 0.333 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 412 109 0 150 0 201 0

N.S.

1 1.00 8.58 2.27 0.00 3.12 0.00 4.19 0.00

time (sec)

N/A 0.542 12.344 0.282 0.000 0.330 0.000 0.328 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 95 419 175 0 191 0 202 373

N.S.

1 0.98 4.32 1.80 0.00 1.97 0.00 2.08 3.85

time (sec)

N/A 0.710 12.841 0.342 0.000 0.320 0.000 0.329 15.800

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-1) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 419 200 0 205 0 202 764

N.S.

1 1.00 2.89 1.38 0.00 1.41 0.00 1.39 5.27

time (sec)

N/A 0.921 12.872 0.392 0.000 0.339 0.000 0.319 15.980

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 82 151 0 98 0 53 96

N.S.

1 1.00 1.82 3.36 0.00 2.18 0.00 1.18 2.13

time (sec)

N/A 0.533 1.356 0.164 0.000 0.294 0.000 0.289 2.192

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 82 125 0 78 0 53 83

N.S.

1 1.00 1.82 2.78 0.00 1.73 0.00 1.18 1.84

time (sec)

N/A 0.528 1.035 0.159 0.000 0.292 0.000 0.317 10.248

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 62 94 388 59 0 53 67

N.S.

1 1.00 1.38 2.09 8.62 1.31 0.00 1.18 1.49

time (sec)

N/A 0.505 1.388 0.150 0.353 0.296 0.000 0.287 1.020

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 44 42 0 49 0 55 52

N.S.

1 1.00 1.02 0.98 0.00 1.14 0.00 1.28 1.21

time (sec)

N/A 0.493 2.155 0.130 0.000 0.308 0.000 0.303 9.682

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 55 104 72 0 0 0 55 0

N.S.

1 1.02 1.93 1.33 0.00 0.00 0.00 1.02 0.00

time (sec)

N/A 0.589 3.563 0.159 0.000 0.000 0.000 0.332 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 79 76 0 61 0 55 88

N.S.

1 1.00 1.88 1.81 0.00 1.45 0.00 1.31 2.10

time (sec)

N/A 0.519 7.120 0.200 0.000 0.298 0.000 0.311 10.083

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 243 163 301 0 0 0 197 0

N.S.

1 1.02 0.68 1.26 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 1.432 12.094 0.228 0.000 0.000 0.000 0.327 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 196 138 274 0 0 0 150 0

N.S.

1 1.03 0.73 1.44 0.00 0.00 0.00 0.79 0.00

time (sec)

N/A 1.193 8.455 0.194 0.000 0.000 0.000 0.319 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 149 134 244 844 0 0 132 0

N.S.

1 1.03 0.92 1.68 5.82 0.00 0.00 0.91 0.00

time (sec)

N/A 0.973 7.659 0.183 0.336 0.000 0.000 0.313 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 102 113 208 0 0 0 96 0

N.S.

1 1.06 1.18 2.17 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.760 2.399 0.166 0.000 0.000 0.000 0.304 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 53 102 73 0 0 0 55 0

N.S.

1 1.04 2.00 1.43 0.00 0.00 0.00 1.08 0.00

time (sec)

N/A 0.577 2.495 0.162 0.000 0.000 0.000 0.302 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 103 80 0 160 0 0 0

N.S.

1 1.00 1.98 1.54 0.00 3.08 0.00 0.00 0.00

time (sec)

N/A 0.592 7.332 0.428 0.000 0.310 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 102 163 250 0 319 0 169 0

N.S.

1 0.98 1.57 2.40 0.00 3.07 0.00 1.62 0.00

time (sec)

N/A 0.790 7.505 0.219 0.000 0.317 0.000 0.326 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 291 553 185 0 0 0 235 0

N.S.

1 1.02 1.94 0.65 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 1.779 14.513 0.241 0.000 0.000 0.000 0.347 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 244 179 169 0 0 0 178 0

N.S.

1 1.03 0.76 0.71 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 1.440 10.343 0.259 0.000 0.000 0.000 0.335 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 197 164 158 1120 0 0 170 0

N.S.

1 1.03 0.86 0.83 5.86 0.00 0.00 0.89 0.00

time (sec)

N/A 1.239 8.495 0.234 0.342 0.000 0.000 0.329 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 150 153 140 0 0 0 135 0

N.S.

1 1.05 1.07 0.98 0.00 0.00 0.00 0.94 0.00

time (sec)

N/A 0.991 7.629 0.210 0.000 0.000 0.000 0.330 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 106 100 125 0 0 0 89 0

N.S.

1 1.09 1.03 1.29 0.00 0.00 0.00 0.92 0.00

time (sec)

N/A 0.788 2.504 0.223 0.000 0.000 0.000 0.324 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 80 71 0 60 0 55 55

N.S.

1 1.00 1.86 1.65 0.00 1.40 0.00 1.28 1.28

time (sec)

N/A 0.536 2.758 0.188 0.000 0.276 0.000 0.319 9.068

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 102 163 250 0 313 0 169 0

N.S.

1 0.98 1.57 2.40 0.00 3.01 0.00 1.62 0.00

time (sec)

N/A 0.795 7.376 0.223 0.000 0.319 0.000 0.350 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 149 163 93 0 262 0 0 0

N.S.

1 0.98 1.07 0.61 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 1.011 7.499 0.160 0.000 0.305 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

114 154 0 0 0 0 0 0 0

N.S.

1 1.35 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.630 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 91 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.430 0.579 0.000 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 91 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.426 0.372 0.000 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 98 0 0 0 0 0 0

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.374 1.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 78 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 75 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.434 2.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 88 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 0.152 0.000 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 91 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.455 0.115 0.000 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F B A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

244 231 695 0 558 395 0 0 1060

N.S.

1 0.95 2.85 0.00 2.29 1.62 0.00 0.00 4.34

time (sec)

N/A 1.121 13.242 0.000 0.406 0.335 0.000 0.000 16.066

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

172 172 149 0 423 243 0 0 528

N.S.

1 1.00 0.87 0.00 2.46 1.41 0.00 0.00 3.07

time (sec)

N/A 0.860 8.723 0.000 0.478 0.309 0.000 0.000 15.352

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 113 111 0 312 155 0 0 104

N.S.

1 1.06 1.04 0.00 2.92 1.45 0.00 0.00 0.97

time (sec)

N/A 0.619 1.545 0.000 0.365 0.299 0.000 0.000 2.021

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) B F F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 85 0 0 108 0 0 68

N.S.

1 1.00 1.70 0.00 0.00 2.16 0.00 0.00 1.36

time (sec)

N/A 0.456 2.052 0.000 0.000 0.293 0.000 0.000 1.007

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 81 130 0 0 0 0 0 0

N.S.

1 1.07 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.609 50.651 0.000 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 84 97 0 0 0 0 0 0

N.S.

1 1.06 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.632 26.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) B F F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 85 0 0 108 0 0 68

N.S.

1 1.00 1.70 0.00 0.00 2.16 0.00 0.00 1.36

time (sec)

N/A 0.462 0.117 0.000 0.000 0.291 0.000 0.000 0.003

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) B F F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 85 0 0 108 0 0 68

N.S.

1 1.00 1.70 0.00 0.00 2.16 0.00 0.00 1.36

time (sec)

N/A 0.469 2.177 0.000 0.000 0.299 0.000 0.000 10.369

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 175 105 0 0 105 0 0 334

N.S.

1 0.96 0.58 0.00 0.00 0.58 0.00 0.00 1.84

time (sec)

N/A 0.845 6.607 0.000 0.000 0.278 0.000 0.000 17.218

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 79 0 0 76 0 0 177

N.S.

1 1.00 0.69 0.00 0.00 0.67 0.00 0.00 1.55

time (sec)

N/A 0.644 5.191 0.000 0.000 0.281 0.000 0.000 11.738

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 54 60 0 0 48 0 0 101

N.S.

1 1.00 1.11 0.00 0.00 0.89 0.00 0.00 1.87

time (sec)

N/A 0.459 4.836 0.000 0.000 0.296 0.000 0.000 1.157

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 151 453 0 0 0 0 0 0

N.S.

1 1.34 4.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.675 14.200 0.000 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 152 708 0 0 0 0 0 0

N.S.

1 1.33 6.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.622 17.445 0.000 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 152 350 0 0 0 0 0 0

N.S.

1 1.31 3.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 4.245 0.000 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

116 154 0 0 0 0 0 0 0

N.S.

1 1.33 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.633 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 354 311 516 0 172 0 0 0

N.S.

1 1.03 0.91 1.50 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 2.719 3.957 7.692 0.000 0.127 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 296 281 496 0 159 0 0 0

N.S.

1 1.02 0.97 1.71 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 2.303 3.415 5.239 0.000 0.120 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 238 255 462 0 134 0 0 0

N.S.

1 1.01 1.09 1.97 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 1.727 3.024 3.038 0.000 0.113 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 180 170 438 0 116 0 0 0

N.S.

1 1.01 0.96 2.46 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 1.285 3.484 1.672 0.000 0.105 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 197 455 0 113 0 0 0

N.S.

1 1.00 1.61 3.73 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.903 3.215 0.850 0.000 0.104 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 211 1186 0 157 0 0 0

N.S.

1 1.00 1.72 9.64 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.905 3.402 2.146 0.000 0.103 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

182 182 229 1492 0 211 0 0 0

N.S.

1 1.00 1.26 8.20 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 1.323 3.831 1.234 0.000 0.111 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

237 241 256 1090 0 269 0 0 0

N.S.

1 1.02 1.08 4.60 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 1.746 4.761 1.619 0.000 0.135 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

292 300 291 1388 0 328 0 0 0

N.S.

1 1.03 1.00 4.75 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 2.233 6.007 2.374 0.000 0.143 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 354 193 497 0 164 0 0 0

N.S.

1 1.01 0.55 1.41 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 2.641 7.980 6.668 0.000 0.139 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 296 113 475 0 138 0 0 0

N.S.

1 1.00 0.38 1.61 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 2.281 4.288 2.509 0.000 0.123 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 238 257 462 0 134 0 0 0

N.S.

1 1.01 1.09 1.97 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 1.773 2.897 2.852 0.000 0.122 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 148 488 0 129 0 0 0

N.S.

1 1.00 0.82 2.71 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 1.313 6.833 1.690 0.000 0.123 0.000 0.000 0.000

[next] [front] [up]